کوهمولوژی موضعی و زیر رسته های سر

فرض کنیمm یک r-مدول و a یک ایدآل از حلقه r باشد. کلاس s از r-مدول ها، زیر رسته سر از رسته r-مدول هاست در صورتیکه تحت تحت زیر مدولها، مدولهای خارج قسمتی و توسیع مدولها بسته باشد.عضویت مدول های کوهمولوزی موضعی، در زیر رسته سر از رستهr-مدول ها به ازای in بررسی شده است.دنباله های s-منظم و تعمیم یافتگی عمق تعریف شده است و رابطه این نماد با کوهمولوژی موضعی بیان شده است.از طرفی اگر m یک r-مدول متناهی مولد باشد، برای هر i>n عضویت کوهمولوژی موضعی تنها به محمل m وابسته است.